Hybrid system control using an on-line discrete event supervisory strategy

摘要

This paper describes a technique for synthesizing controllers for hybrid plants. Our modeling framework allows for the efficient online construction of limited lookahead discrete abstractions of the nonlinear continuous dynamics of the plant model. Discrete event supervisory controller synthesis techniques are used to construct a controller based on a DES specification and the abstracted plant model. The controller is advanced in a moving horizon approach. The modeling framework, synthesis techniques and the on-line computational strategy are discussed. A simple illustrative example is presented in detail and a realistic industrial application is outlined.